Found 1 query results that match Formality v2012

  • Synopsys Formality v2012.06

    Overview Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. The size and complexity of today’s designs, coupled with the challenges of meeting timing, area, power and schedule, requires that.....
    Language : english Authorization: Pre Release Freshtime：2013-01-04 Size: 1CD